InstHyp [$a$] ({-}1)